Self-optimization Property in Autonomic Specification of Distributed MARF with ASSL

نویسندگان

  • Emil Vassev
  • Serguei A. Mokhov
چکیده

In this work, we venture out to develop self-optimization features in the Distributed Modular Audio Recognition Framework (DMARF). Here, we use the Autonomic System Specification Language (ASSL) to specify a self-optimization policy and generate the code for the same. This completes the first iteration of the autonomic specification layer for DMARF and enables re-engineered autonomic DMARF system, which also includes self-healing and self-protection, both developed earlier.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL: A Distributed MARF Case Study

In this paper, we discuss our research towards developing special properties that introduce autonomic behavior in pattern-recognition systems. In our approach we use ASSL (Autonomic System Specification Language) to formally develop such properties for DMARF (Distributed Modular Audio Recognition Framework). These properties enhance DMARF with an autonomic middleware that manages the four stage...

متن کامل

Assl Specification of Reliability Self-Assessment in the As-Trm

This article is an introduction to our research towards a formal framework for tackling reliability in reactive autonomic systems with self-monitoring functionality. The Autonomic System Specification Language (ASSL) is a framework for formally specifying and generating autonomic systems. With ASSL, we can specify high-level behavior policies, which shows that it is very appropriate language fo...

متن کامل

A Self-adaptive Architecture for Autonomic Systems Developed with ASSL

We address the need to realize a runtime self-modifiable architecture for autonomic systems, specified and generated with the ASSL (Autonomic System Specification Language) framework. This framework generates such systems with a special hierarchical multi-granular architecture composed of singleton classes. Base ASSL is designed to support runtime evolving systems, whereas in this approach, we ...

متن کامل

Model Checking for Autonomic Systems Specified with ASSL

Autonomic computing augurs great promise for deep space exploration missions, bringing onboard intelligence and less reliance on control links. As part of our research on the ASSL (Autonomic System Specification Language) framework, we have successfully specified autonomic properties, verified their consistency, and generated prototype models for both the NASA ANTS (Autonomous Nano-Technology S...

متن کامل

Toward Refactoring of DMARF and GIPSY Case Studies - a Team 12 SOEN6471-S14 Project Report

The main significance of this document is two source systems namely GIPSY and DMARF. Intensional languages are required like GIPSY for absoluteness and forward practical investigations on the subject.DMARF mainly focuses on software arechetictual design and implementation on Distributed Audio recognition and its applications such as speaker identification which can run distributively on web ser...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009